Formal specification of complex reasoning systems - based on material from the International Workshop on Formal Specification Methods for Complex Reasoning Systems, Vienna, 1992, organized during ECAI'92 by the Artificial Intelligence Group, Vrije Universiteit Amsterdam
- Författare
- (Edited by Jan Treur and Thomas Wetter)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Ellis Horwood | 1993 | Storbritannien, New York, London | viii,282 sidor. | 0-13-336785-1 |